181. Unifying theories of programming :
Author: Burkhart Wolff, Marie-Claude Gaudel, Abderrahmane Feliachi (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming -- Congresses.,computerkunde.,software engineering.
Classification :
QA76
.
6
B875
2013
182. VDM'91 Formal Software Development Methods :
Author: edited by S. Prehn, W.J. Toetenel.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science.,Logic design.,Software engineering.
183. Verification and evaluation of computer and communication systems :
Author: Mohamed Faouzi Atig, Saddek Bensalem, Simon Bliudze, Bruno Monsuez (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer networks-- Evaluation, Congresses.,Computer software-- Verification, Congresses.,Algorithms & data structures.,Computer networks-- Evaluation.,Computer programming-- software development.,Computer software-- Verification.,Computers-- General.,Computers-- Hardware-- Handheld Devices.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Computers-- Software Development & Engineering-- General.,Information technology: general issues.,Mathematical theory of computation.,Mathematics-- Logic.,Software Engineering.,Systems analysis & design.
Classification :
TK5105
.
5
184. Web services foundations /
Author: Athman Bouguettaya, Quan Z. Sheng, Florian Daniel, editors ; foreword by Michael P. Papazoglou
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Cloud computing,Service-oriented architecture (Computer science),Web services,Computer Applications,Computer Communication Networks,Computer Science,Database Management,Information Storage and Retrieval,Information Systems Applications (incl. Internet)
Classification :
TK5105
.
88813
185. Year Perspective on Logic Programming-A 25
Author: / Agostino Dovier, Enrico Pontelli
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: METHODS&COMPUTER SCIENCE, SOFTWARE ENGINEERING|COMPUTER SCIENCE, THEORY
Classification :
E-BOOK
186. Year Perspective on Logic Programming: Achievements of the Italian Association for Logic Programming, GULP-A 25
Author: / Gianfranco Rossi (auth.), Agostino Dovier, Enrico Pontelli (eds.)
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
